An encompassing framework for Paraconsistent Logic Programs
نویسندگان
چکیده
منابع مشابه
Paraconsistent Semantics for Extended Logic Programs
We introduce a declarative semantics for extended logic programs, and demonstrate its usefulness for reasoning with uncertainty. We show that this is a robust formalism that overcomes some drawbacks of related xpoint semantics for incomplete or inconsistent logic programs.
متن کاملA Paraconsistent Semantics for Generalized Logic Programs
We propose a paraconsistent declarative semantics of possibly inconsistent generalized logic programs which allows for arbitrary formulas in the body and in the head of a rule (i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules). For consistent generalized logic programs this semantics coincides with the stable gen...
متن کاملA Survey of Paraconsistent Semantics for Logic Programs
In this chapter we motivate the use of paraconsistency, and survey the most salient paraconsistent semantics for (extended) logic programs , which are brieey deened and explained. Most of the semantics are accompanied with their multi-valued model theory, giving them a new perspective. The survey also presents new results regarding the embedding of part of these semantics into normal logic prog...
متن کاملExtended Well-Founded Semantics for Paraconsistent Logic Programs
This paper presents a declarative semantics of logic programs which possibly contain inconsistent information. We introduce a multi-valued interpretation of logic programs and present the extended well-founded semantics for paraconsistent logic programs. In this setting, a meaningful information is still available in the presence of an inconsistent information in a program and any fact which is...
متن کاملan application of fuzzy logic for car insurance underwriting
در ایران بیمه خودرو سهم بزرگی در صنعت بیمه دارد. تعیین حق بیمه مناسب و عادلانه نیازمند طبقه بندی خریداران بیمه نامه براساس خطرات احتمالی آنها است. عوامل ریسکی فراوانی می تواند بر این قیمت گذاری تاثیر بگذارد. طبقه بندی و تعیین میزان تاثیر گذاری هر عامل ریسکی بر قیمت گذاری بیمه خودرو پیچیدگی خاصی دارد. در این پایان نامه سعی در ارائه راهی جدید برای طبقه بندی عوامل ریسکی با استفاده از اصول و روش ها...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2005
ISSN: 1570-8683
DOI: 10.1016/j.jal.2004.07.012